Documentation for infix (<=), infix ⊆ assembled from the following types:

language documentation Sets, bags, and mixes

From Sets, bags, and mixes

(Sets, bags, and mixes) infix (<=), infix ⊆

Returns True if $a is a subset or is equal to $b, else False. More information, Wikipedia definition.